Reasoning about nonlinear system identification
نویسندگان
چکیده
منابع مشابه
Reasoning about nonlinear system identification
System identification is the process of deducing a mathematical model of the internal dynamics of a system from observations of its outputs. The computer program PRET automates this process by building a layer of artificial intelligence (AI) techniques around a set of traditional formal engineering methods. PRET takes a generate-and-test approach, using a small, powerful meta-domain theory that...
متن کاملReasoning about Sensor Data for Automated System Identification
The computer program pret automatically constructs mathematical models of physical systems. A critical part of this task is automating the processing of sensor data. pret’s intelligent data analyzer uses geometric reasoning to infer qualitative information from quantitative data; if critical variables are either unknown or cannot be measured, it uses delay-coordinate embedding to reconstruct th...
متن کاملSecure Systems Reasoning about System Security
In this example, Alice and Bob are constants of type principal, and p is a variable of type principal; secretkey is a constant of type key; Has is a predicate with parameters of type principal and key; ⇒ denotes logical implication; and ∨ is logical disjunction. The syntax of a logic precisely defines sets of variables and constants for each type (in this case, principal or key), as well as the...
متن کاملReasoning about Coherent and Cooperative System Responses
This paper discusses the planning of system responses in information-seeking dialogues. Many dialogue systems are capable of answering single questions or carrying out dialogues which have fairly xed structures, but they show little or no capability to continue the dialogue in an intelligent way, if something unexpected takes place. Our system aims to be exible and overcome the shortcomings in ...
متن کاملAlWRET* A SYSTEM FOR REASONING ABOUT TIME
In this paper we describe the salient features of a new system for reasoning about time. The system represents time primarily -though not exclusively -in terms of intervals, and perfom deductions on this representat ion. It has a mechanism for maintaining consistency in the representat ion and discovering the origin of inconsistencies. Further, its deduct ion mechanisms for intervals are easily...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2001
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(01)00143-6